◀ Prev · Parts · Full · Next ▶

Also in contrast are systems with processes that basically interact synchronously. An example would be systems based on the Communicating sequential processes (CSP) model, which allows deterministic (external) and nondeterministic (internal) choice.

• Synchronous languages

• See also

• References

• External links

• Argos

• Atom (a domain-specific language in Haskell for hard realtime embedded programming)

• Averest

• Blech

• ChucK (a synchronous reactive programming language for audio)

• Esterelcite-ref-berry-gonthier-1-0[1]

• LabVIEW

• LEA

• Lustre

• PLEXIL

◀ Prev · Parts · Full · Next ▶